credit1: trace vCPU boost/unboost
authorDario Faggioli <dario.faggioli@citrix.com>
Wed, 24 Feb 2016 11:03:32 +0000 (12:03 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 24 Feb 2016 11:03:32 +0000 (12:03 +0100)
commit3c7d1da274845309942e8b1680148d62773af4b6
tree1c441172eadd2f3013a6d16a8985d6c1ef9c8c40
parent9c952271607a8fd4b23987bf509ded01d32f3a90
credit1: trace vCPU boost/unboost

Add tracepoints and a performance counter for
boosting and unboosting in Credit1.

Note that they (the trace points) do not cover
the case of the idle vCPU being boosted to run
a tasklet, as there already is
TRC_CSCHED_SCHED_TASKLET for that.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/common/sched_credit.c
xen/include/xen/perfc_defn.h